信息系统 概念的 应用的 量子 额外的 重要的 方法 精确的 给定 参考文献 理论的 不一致 通用性 模型 一致性 Aasn 起来 完整性 语境 框架 经验模型 提供 不变量 Mansfield Barbosa 层论 场景 Abramsky 拓扑结构 直观的 精细的 上同调 定义